Faust and the Clementine Recognitions

The FAUST - Prover

Unfortunately first-order logic has certain limitations which are felt in many applications such as in hardware verification. The use of proof assistants like the HOL sys tem ([Gord88]) is therefore resorted to. However many theorems of higher order logic can also be proven by methods of first order logic as well. Being aware of this situation, we have implemented a prover based on Sequent Calc...

The Clementine bistatic radar experiment.

During the Clementine 1 mission, a bistatic radar experiment measured the magnitude and polarization of the radar echo versus bistatic angle, beta, for selected lunar areas. Observations of the lunar south pole yield a same-sense polarization enhancement around beta = 0. Analysis shows that the observed enhancement is localized to the permanently shadowed regions of the lunar south pole. Radar ...

Good And Evil In Faust

Encyclopedic Representations : William Gaddis ’ s The Recognitions

Faust audio DSP language in the Web

With the advent of both HTML5 and the Web Audio API (a high-level JavaScript API for audio processing and synthesis) interesting audio applications can now be developed for the Web. The Web Audio API offers a set of fast predefined audio nodes as well as customizable ScriptProcessor node, allowing developers to add their own javascript audio processing code. Several projects are developing abst...